Feeds to Scour
SubscribedAll
Scoured 28939 posts in 54.5 ms
Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types  🧵Concurrency
arxiv.org·5d
SignalForge – A Local-First, Zero-Cloud Autonomous Agent with UI Verification  💻Coding Agents
peerlist.io·15h·Hacker News
Autonomous Systems & Reasoning Research  🪄Prompt Engineering
cli.narelabs.com·3d·Hacker News
Siemens U2U 3D IC Design and Verification Panel  🔬Chip Fabrication
semiwiki.com·6d
Edition 74 — LLM Inference Throughput Rises 4.5x with Parallel Verification  🏗️LLM Infrastructure
presciente.com·5d·Hacker News
MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs  🧮SMT Solvers
arxiv.org·7h
humans.json: Yet Another Identification Protocol  🕷️Web Crawling
vzqk50.com·6d
Pre-Silicon Verification and Validation Methodology Targeting Robust RISC-V Chip Designs (BSC)  📐TLA+
semiengineering.com·6d
Motivation, Productivity Barriers, and Engineering Friction  🪄Prompt Engineering
pankajpipada.com·5d·Hacker News, r/coding, r/vibecoding
Containment Verification: AI Safety Guarantees Independent of Alignment  🛡️AI Safety
arxiv.org·7h
Artificial Intelligence in Number Theory: LLMs for Algorithm Generation and Ensemble Methods for Conjecture Verification  🧮SMT Solvers
arxiv.org·7h
VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification  📊Vector Databases
arxiv.org·1d
TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples  📐TLA+
arxiv.org·1d
LaTER: Efficient Test-Time Reasoning via Latent Exploration and Explicit Verification  🧮SMT Solvers
arxiv.org·1d
Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring  🎯Qdrant
arxiv.org·7h
SCOPE: Structured Decomposition and Conditional Skill Orchestration for Complex Image Generation  ✨Gemini
arxiv.org·1d·r/StableDiffusion
MAVEN: Multi-Agent Verification-Elaboration Network with In-Step Epistemic Auditing  📋MCP
arxiv.org·1d
Field-Localized Forgery Detection for Digital Identity Documents  🧹Spam Filters
arxiv.org·7h
TMAS: Scaling Test-Time Compute via Multi-Agent Synergy  🔧Agent Tooling
arxiv.org·7h
The Cost of Quantum Resistance: A Hash-Based Commit-Reveal Alternative for Minimizing Blockchain Infrastructure Overhead  🔐Cryptography
arxiv.org·1d

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help